6.48/9.12	unsat
