40.03/41.80	unsat
