316.90/317.40	unsat
