12.56/14.67	unsat
