316.15/317.86	unsat
