41.52/45.19	unsat
