69.30/71.91	unsat
