41.03/50.00	unsat
