5.87/9.12	unsat
