41.03/42.62	unsat
