1.58/3.81	unsat
