79.10/81.93	unsat
