79.97/82.54	unsat
