254.16/258.50	unsat
