517.66/518.80	unsat
