252.78/252.82	unsat
