39.42/41.07	unsat
