39.49/41.70	unsat
