10.56/12.44	unsat
