71.44/72.71	unsat
