317.02/319.69	unsat
