286.05/286.84	unsat
