12.66/14.33	unsat
