12.55/12.81	unsat
