13.88/13.96	unsat
