6.48/9.29	unsat
