42.96/45.18	unsat
