41.62/42.40	unsat
