41.59/42.69	unsat
