40.95/41.59	unsat
