39.40/41.31	unsat
