285.50/286.14	unsat
