8.87/10.96	unsat
