8.03/10.85	unsat
