12.39/12.44	unsat
