41.31/42.25	unsat
