2.89/5.73	unsat
