12.50/12.72	unsat
