12.55/12.89	unsat
