13.85/13.96	unsat
