1.92/4.85	unsat
