14.28/14.96	unsat
