286.90/287.75	unsat
