0.39/0.42	unsat
