5.02/5.85	unsat
