316.14/318.18	unsat
