316.06/317.59	unsat
