1.58/5.42	unsat
