41.47/42.26	unsat
