86.86/87.06	unsat
