8.60/10.35	unsat
