286.56/291.10	unsat
