7.57/12.73	unsat
