41.86/42.00	unsat
