7.17/10.58	unsat
