40.63/41.37	unsat
