7.28/12.73	unsat
