1.58/3.42	unsat
