41.66/42.80	unsat
