42.42/45.08	unsat
