14.16/15.96	unsat
