70.12/72.77	unsat
