82.19/87.12	unsat
