4.31/6.85	unsat
