5.07/8.29	unsat
