282.66/283.53	unsat
