12.56/12.63	unsat
