0.37/0.42	unsat
