41.99/42.18	unsat
