86.84/88.53	unsat
