41.85/42.07	unsat
