4.18/5.85	unsat
