2.89/4.17	unsat
