11.87/12.44	unsat
