518.70/519.16	unsat
