7.87/8.48	unsat
