12.56/12.67	unsat
