41.25/42.85	unsat
