41.27/42.85	unsat
