41.77/42.00	unsat
