1.58/2.42	unsat
