8.40/10.97	unsat
