13.08/14.96	unsat
