79.12/85.47	unsat
