8.17/10.48	unsat
