41.70/43.60	unsat
