4.92/5.85	unsat
