1.58/3.50	unsat
