1.92/4.13	unsat
