13.06/13.96	unsat
