517.29/518.91	unsat
